Советский философский словарь - непротиворечивость
Связанные словари
Непротиворечивость
непротиворечивость
совместимость, корректность, выполнимость, свойство системы предложений к.-л. теории (или системы формул нек-рого исчисления), заключающееся в том, что из этих предложений (формул) с помощью логич. средств данной теории (соответственно правил вывода данного исчисления) нельзя вывести противоречие, т. е. пару предложений, каждое из к-рых является отрицанием другого (в формальных исчислениях формулу А&А, т. е. конъюнкцию произвольной формулы А и её отрицания, интерпретируемую как «А и неА»). Термин «Н.» употребляют преим. по отношению к совокупности нек-рых (содержательно понимаемых или формальных) аксиом или же по отношению ко всей теории (исчислению), базирующейся на данных аксиомах, т. е. к совокупности всех предложений (формул), выводимых из них. Применительно к широкому классу теорий и исчислений, для к-рых справедлив принцип «из лжи следует любое предложение» или к.-л. его формальный аналог. Н. равносильна наличию хотя бы одного невыводимого предложения (недоказуемой формулы). Это свойство, с одной стороны, показывает важность понятия Н. (не обладающие свойством Н. противоречивые теории действительно некорректны, тривиальны, бессодержательны, поскольку любое их предложение как содержательно истинное, так и содержательно ложное равно оказывается «доказуемым», т. е. понятие доказательства в них совершенно обесценивается), а с другой может быть положено в основу самого понятия Н., позволяя определить его как наличие в данной системе хотя бы одного недоказуемого предложения (или формулы). Каждая содержат. логич. или математич. теория предполагается непротиворечивой. Однако обнаружение парадоксов (антиномий, противоречий) в теории множеств (а следовательно, и во всей базирующейся на ней т. н. классич. математике) показало нетривиальность проблемы Н., её важность, трудность и глубину для логики и математики. Трактовка понятия Н. и пути разрешения связанных с ним трудностей существенно различны в различных школах оснований математики и логики (см. Логицизм, Формализм, Интуиционизм, Конструктивное направление). См. также статьи Аксиоматический метод, Метатеория и лит. к ним.
Рейтинг статьи:
См. в других словарях
1.
свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого-то предложения может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Непротиворечивость теории означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование Н. является обязательным требованием к научной и, в частности, логической теории. Противоречивая теория заведомо несовершенна: наряду с истинными положениями она включает также ложные, в ней что-то одновременно и доказывается, и опровергается. Во многих теориях имеет место закон Дунса Скота. В этих условиях доказуемость противоречия означает, что становится "доказуемым" все что угодно и понятие доказательства теряет смысл. Применительно к таким теориям требование Н. равносильно условию, что в теории имеется хотя бы одно недоказуемое высказывание. Н. одной теории может быть доказана через другую теорию, Н. которой гарантирована. Однако такое доказательство обладает лишь относительной убедительностью. Для простых...Словарь по логике
2.
в логике одно из осн. требований к формальным теориям и вообще к научному знанию. В каждой относительно обособленной теории (или системе знания) не могут одновременно выводиться некоторое предложение и его отрицание. Нарушение этого требования делает возможным в такой теории доказательство любого предложения и приводит к потере ею своей научной ценности, т.е. фактически к ее разрушению. Положение о логической непротиворечивости требует неукоснительной последовательности рассуждения. ...Философский энциклопедический словарь
3.
— одно из осн. требований, предъявляемых к знанию, в частности к научному знанию: в каждой относительно обособленной системе знания не могут одновременно выводиться нек-рое предложение и его отрицание. Нарушение этого требования той или иной научной теорией приводит к ее разрушению, т. к. в ней оказывается возможным доказать любое предложение. Диалектический закон единства и борьбы противоположностей, означающий необходимость раскрытия объективных противоречий развития объектов, и требование Н. знания не исключают друг друга. Положение о логической Н. касается способа представления знания и требует последовательности рассуждения (Противоречия закон. Непротиворечивость аксиоматической теории). ...Философский энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 679 | |
18 | 654 | |
19 | 649 | |
20 | 630 |